this is already in #777 and should be removed here since it breaks travis