correcting a bug in the jref classes