get rid of ``module()``