c9bdddc cosmetics, fix build

Authored and Committed by rdieter 6 years ago
    cosmetics, fix build
    
        
file modified
+14 -11