Fix #3953