Forget to update the version numbers in the doc