bugfix: if_goto