Fix some WARNINGs in the TCK result