[[ Bug 10767 ]] Fix typo (after removing commented code!)