Release of version 2.0.12

The new release is, essentially, a bug fix release that resolves the issues found through Coverty and corrects some minor issues.