Tag of extension -> Tag of name * extension

add name (which is a string) to Tag because it is very useful
when tracking bugs
fix: lists that are followed by phantom lines