[WIP-02] Fix formatting for Travis CI