minor edits suggested by @sbarnum