ok, found it ! we're concatenating "number"/"name" and "HTML", that's why I couldn't grep it :)