Slightly reformatted travis script