cosmetics: use spaces instead of tab characters; remove trailing whitespace