dlman.ml: Made a minor change.