whitespace cleanup in example