Update version numbers and fix user manual