Fix mod/division verification