small fixes; version 0.1.2 released