no bug - fix for lint