goto.php: Bug #12