fix synopsis and example