Fix incorrect fix of formatting. 1:30am on Christmas morning, naturally.