It's just a dumb style question: why is this import separate, and not mixed in the imports below...