[PATCH] corrections to top-level README