Travis: erroneous file indentation