Version 0.7: fix incorrect version upload.