Correct printing of types in the platform rules