You can log it as a bug, but unless we can reproduce it (which we can't), not much we can do.
Are you comfortable with PHP? We could try some debugging.
You might also try cleaning out the install and reloading everything, maybe something went wrong with the install.