fix whitespace to make make happy