forgotten to commit a change in the version number