Fixed a typo in the Travis configuration