Fix bug #530222