FIX: minor typo in doxy-header