fix 4063: added documentation