Documentation: fix header markup