Version update after PR #20