Documents:fix several small bugs introduced in latest revisions