More fixes

Among which, the good old check-if-difference-of-two-unsigned is
greater-than-zero bug. Program now runs without errors.