Another attempt to fix version number