Fix some formatting errors