I'm not sure, but I think this comment would make more sense a few lines further down. I guess line 701 is where it's supposed to be?