a little cleanup
travis fix?