corrections on module "Judge"