? how to make lint happy.