minor edits to 6.4.5