Bump version number, because of bug fixes