Revert "rm superfluous tag"

This reverts commit 2473e08750f9f80a88521c7687fa3531c414a12b.