Small improvement in "module.provide".