Cleaned up the formatting of the Ada grammar.