fix synopsis #3