Fix #3933