Do not include anchor links to empty collections in header
Improve warnings for double inclusions