Travis: fix missing 'then'