bug fix caught by analyzer