add minor trivial changes to check github integration.

Oh, and I want that T-shirt!