another quick travis fix to be put in properly later