minor housekeeping: typos, rewording, reordering