Issue #259: Fix incorrect version number.