In order to draw Flyback converters in a ordinary way, it is necessary that the polarity of the transformer windings is inverted. Mathematicaly this can be obtained with a negative coupling coefficient, that it is not included in the transformer model currently used.