Some minor changes to program docs.