fixed some file formatting