Adjust some formatting mistakes