CSPACE-6273: Trivial whitespace change.