Fix for two mistakes in tag_numbers