Checked in minor documentation change