- Fix for Bug #3237
- bump version number