Fix #3744