Starting to elaborate on test case
Repairing broken Travis CI