Fix to copy/paste of < .001

‘<‘ is interpreted as a tag, so we have to substitute ‘&lt;’