formatting

probably the most pointless change ever made