small fix for lint