fix Travis style whining