Slight error in explo.ml