Update alcotest.mli

A typo fixing