OK I remembered it wrong. Looks like adding this code was the fix, by John. I am not sure why it shows up in this PR though.