Removed some crud, defined something reasonable for `\tag`, put in the
missing `\makeatother` at the end.