minor fixes
added libdai