Minor documentation correction