Fixed a bug in divisors.lib