this was a whitespace fix to a comment that comes from upstream