Documentation fixes (bug #1439)