fix bug in Catalog.java