bugfix in the RET instruction