Minor documentation improvement