fixed minor type system problem