Fix #4287