Is there a way to avoid this sort of spurious whitespace change?