Hotfix on the version number, oops!