More work on facete-lib