Minor modification to test Travis-ci