spurious bug message