travis: tidy things up