Fixed bug in linear diophantine solver.