fixed formals in grammar