Fix small travis error