These two comments can be removed. I'm sure the code replacing it is correct for this case.