Fixed sdbtest.ml