terminology: Add whitespace.