Just some code formatting