Minor edits for the KEfED development work