Re-added the Travis "useless option". It wasn't. At all..