[Fractint] addendum