Fix #3283