minor bugfix; dev 0.1.2