discovered another bug