Coverage. For #1524