UK: fix travis file: use correct format