Fix Travis-CI problem