made minor fixes for <Comparable>