Minor documentation patch