changed verification
Merge branch 'combat' of https://github.com/amni/RISC into combat