version number bump due to bug fix