bugfix in verifyModel