Accidentally pushed the wrong file. This fixes the tag-feature.