new bugfix version 0.12.2