Fix some formatting things