Fix #3691