We should probably note that we do this, since it could clobber a value that the user set.