#712: More edits