SMV : some changes