Travis: ups, forgot to revert an incomplete change