And another bug