Fix type-checking CI on develop.