I hope this makes travis happy.

Not sure why, but I think we need this.