FIX: fix mistype in verify_marks()