KRACOEUS-7381: Fix double doc header issue