tried to fix an inconsistent bug