minor on type system