Small changes for travis' sake