Fixes Travis-CI (4)