edited small mistakes in unimodality_write_up