CORE-5715: removed some extraneous whitespace