fix testcase #3
fix README for OCaml 4.00.1 porting #3