coverage. For #1524