Correct type-os