Clarifying comments in the header