Last-minute minor changes to version numbers, etc.