Eliminate erroneous additional slash

Maybe the grammar should be made more resilient, or at least this
should be flagged as an error at parse time