minor fixes with .class-files