Documenting coverings
Fixing covering inclusion