Fix lint error (#575)