solved the bug which warranted the ConsistencyChecker