Actually fix formatting