A2.2a: Small formulate change