Some formatting (#4)