[[ Bugfix 12757 ]] Added bugfix note and comments for this bug