Fix #4279