1.0.1: tag for release, fix bugs