Bug fix in NIL (abscent backend), and other fixes