Headerdoc, and default values