Turns out that this "fix" is wrong…