Fix #1334: Correct way to set test tags in HTML runners