minor formatting errors