last-minute last minute tweaks to README