Fixed an embarrassing bug in goto..
(the order of isInfixOf's arguments is important!)