bug fix introduced after lint work