pmjdebruijn More whitespace pedantism