Fixed deadly bug in syzygyBuchberger