One last fix to the top-level README text.