Tiny manual CSE of previous commit.