Fix #3173.