Modifications by est31: grammar fixes in doc + error messages and a little style fix, no functional change.