Fix some small typos in "Why isn't all government software open source?" post