Silly bug in core.tag_id_map()