Documentation fix

Fix inaccurate headerdoc