fix error scanning non-ndef tags