v1.0.2: github keeps using the wrong name...