remove useless ;
update documentation