More attempts at finding this bug