[dfmc,modeling,machine-words] Clean up whitespace.