Contextless nitpickery unrelated to work

[james_davis_nicoll]

But I think that even though the same letters are involved, the Greek god of War probably prefers to be refered to as Ares and not Arse.

Points for consistency throughout the document, though.