Re #1480 - missing include