Minor documentation revision