CSPACE-6184: Whitespace changes; one comment typo fixed.