Upon further looking at things, I figured out that this isn't a bug after all. (Or, more precisely, it's a bug in my understanding of white space.) Feel free to close this bug. --Paul Vojta, vojta@math.berkeley.edu