added some HeaderDoc documentation