Whoops. If this is really meant to be commented out, then this change isn't needed, since it doesn't make any difference.