alexpl pushed to scidavis (f27). "Fix an interface crash - patch by Miquel Garriga"