Re #7205. Added the missing 5 characters to fix the bug.

Thanks for catching this one.