Fix reloading.

A possibly surprising result is that `import`ing a module again doesn't reload
it; one needs to explicitly reload the module.