some fixes in reduction