jere: minor edits