change: some documentation comments added to header