V1.01b: small bug fix