Hotfix: version number