fix author in header

I asked Romain: he is not the author, the header was copy-pasted by
mistake.