Re #9468. Added missing include.