typoes in README and proposal