lab01 milestone; bug in Catalog.java