CSPACE-6265: Trivial whitespace changes.