[[ Bug 13154 ]] Correction to previous commit.