Something happened to my github PR and it is no longer associated with travis. I guess I'm going to have to close it and open a new one