Use correct tag character for impl defs