Fixing bugs for running forin.dis