missing include

Fixes bug 180