Issue #17: Fix version.