Fixed a bug in reducible2.