minor type checking fix

1 job for 9-job-failed-297484 in 35 seconds (queued for 3 seconds)