Minor travis cleanup.