Fix #3242