Fix #3271