Fix lint error in #593