Tweak names of a couple of programs.
Update README.