56c9370 Fix a small whitespace error.

Authored and Committed by tibbs 5 years ago
    Fix a small whitespace error.