reduction bug found