This bug has bitten at least twice before, but AFAIK has never been found. Try restarting the server.
If that doesn’t help, we can look further.