Redo headers for documentation