Fixing Travis formatting