issue #4544: fix comments