Scala checkers: minor cleanup.