OMG, Travis is really picky!

No, I didn't want a bloody blank line above my comment, but... OK, just
to make you happy!