Trying a slightly-larger file for Travis-CI