Fixed a lint error