fix an error in MemSever provisos exposed by dbn example