That's vestigal. It can be deleted. I was going to make a different fix, and accidentally left it in.