fix documentation (per issue #2, comment 45896986)