Slightly verified header comments