Fix build error reported by @Darkkitten

Fixes #17