Fix format of travis config file.