Ignore that second comment.
  package require Tk
does odd things after the first provide.