Fix #2133