Fixup for e2c99579801e8307540147b9f3a62888a59847c7