Minor problem definition changes