Modify the option module to be coherent with Ocsigen's one.