doc: fix typo (#1870)
doc: fix typo (#1870)

Signed-off-by: Louis Roché <d82ece8d514aca7e24d3fc11fbb8dada57f2966c@louisroche.net>
janestreet/jbuilder,janestreet/jbuilder,dra27/jbuilder,dra27/jbuilder,janestreet/jbuilder,janestreet/jbuilder,janestreet/jbuilder,dra27/jbuilder,janestreet/jbuilder,dra27/jbuilder,dra27/jbuilder,dra27/jbuilder