Fix typo (Portal Game Notation)