Feature #11944: correct small issue