Some minor changes

Formatting the whole file.