Minor edits to 6.23 Extensions to the Element interface