lint

Fixes lint errors introduced in 120e5a24df76deb5019abec9744ace94f0f3746a