Bump version number, other minor corrections