Revert "Another fix for the version number"

This reverts commit 622c931033c5639195209dc5d07c94f7054229a8.