Fix a bug in the catalog