Trivial editing of documentation