Removed parens around terminals