Minor formatting changes to the revision history.