fix FS#709