bug fix da giac