bugfixes for 0.0.12