Fix #3789