LPC1114 watchdog peculiarities

Hello,

I managed to figure out why my LPC1114 keeps on resetting when the watchdog is enabled: it seems that if one feeds the watchdog too often:

for (;;)
{
    feed_wdt() ;
}

the processor resets!

But, if a delay is inserted, like this:

for (;;)
{
    feed_wdt() ;

    for (l_index = 0 ; l_index < 10000 ; l_index++) __nop() ;
}

it will not.

Any ideas what's going on here? I could not find a reference to this behavior in the user manual.