Minor changes in top-level README