Fixing LoaderTest::testMicroDis1