Fix #3908

#3908