The further commit 17-Apr-2014. The bug in the algorithm of histogram
pruning has been fixed.