minor fix

File formatting