Hopefully fixed travis error