Re #6162. Added missing include.