bug fix on FRAMA