Fix build failure

Fixes #3