small fix for lint.