Fixing the header includes in the documentation.