fix some formatting errors