fdetsch minor edits.