docs: those headers are unneeded