Minor memory leak. I checked to make sure that readline makes and keeps its own copy of this string, so it's OK for us to free our copy.