misplaced then in verbose check