b3585de Small style fix

Authored and Committed by pingou 6 years ago
    Small style fix
    
        
file modified
+2 -1