Fix lint error introduced in 6aa3b641ffe075ff40801ca0e8c35ce6459a9793