Undo accidental version number change

Unfortunately the version number got changed at another location as
well. Sorry for the fix-up commit.