fix travis tests (complaining about code formatting)