Fixed a lint warning