minor bug in class loader