rewording and typesetting fixes