Fix bad_type_annotation warning.