minor changes in doc, to 1.1.4