travis fix (seriously, this hould totally do it.)