Eliom_parameter: fix #143