Fix synopsis example