Fix Travis-CI issue