[KERNEL] issue #92 - bug fix for documentation