Fix over-zealous find-and-replace in HTML