Note that this module is now useless.