v0.1.0.3: some fixes