Fix bug #460304.