minor modifs in interface