Fixing warning (thanks @smanzi and @brianteeman)