fix top.ml ; minor