Fix #2019