Fix incorrect syntax highlighting after the Goal command.