Add missing import

Fixes bug 3174.