examples: make C example a tad more correct