Release 0.2.12

Bug fix release.