fix tag name mismatch

Thanks to Peter for reporting this.