12.4. GOTO fix