Fixes a minor build issue.
Fixes #14