fix tagging in stop.if