few changes in toplSpecs.ml