Remove duplicate @category in header.