Fix #3659