Fix doc typo
Fix typo in opam file