Minor change towards menhir manual style of Parsing