Fixed #2391
Reverted an unwanted formatting change