version 0.3.2: fix minor bugs