fix stupid travis error