fix whitespace in the hope of avoiding conflicts