Fix #3112