the default works fine in this case, but it's good to get in the habit of specifying an encoding...