added a possible travis fix