Fix PR#6399

See http://caml.inria.fr/mantis/view.php?id=6399