Minor fix in tagging