davidm minor whitespace improvements