Minor documentation change