add semicolon at navigation.php