Alpha 12: small bug fix