Fixes travis issue