Whitespace correction 

as per alexrp comment on https://github.com/mono/mono/pull/874