Documentation edit

Nitpicky minor stuff