RC3.1.2: fixed a few user messages and typos.