Fix #3448