Minor documentation amends