another case like #3803