Version update after pull request #11