some minor documentation change