Another gripe. This just looks like a whitespace change.  Please avoid doing this.