types+grammar: fixing trivial code formatting