correct github 'final release' tagging