history: minor formatting errors