fixed broken type system test