Fix minor bugs in fablib