% -> mod_imp to fix bug found by fuzz testing.