Alpha 13: small bug fix