Fix isLevelSolved() (again)