bug #1833: fix documentation bugs