Maybe fixing travis error