small changes to test/BasicTest