I agree with this. Probably cruft from old revisions. I didn't want to make an issue out of it in this PR though.