KRACOEUS-7381: Fix double doc header issue
Merge pull request #515 from gathreya/fixDocHeader

KRACOEUS-7381: Fix double doc header issue