>I think Gaussian should be capitalized, even though I was sloppy with it in the commit message.

But now you have already changed it!