fix synopsis code