Fix #3549