Coverage. For #1515