The last four lines of this comment look like something left over from an earlier comment. Are they still meant to be here?