fix warning_count type