fix broken header comment section -- Florian octo Forster