Bug fix in debug code.