Add missing import. Fixes #1292.