Small formatting changes to replay_format.md