a810875 Fix accidental whitespace removal from previous patch.

Authored and Committed by Günther Deschner 13 years ago
    Fix accidental whitespace removal from previous patch.
    
    Guenther