fixed inconsistent interface/implementation type definitions in example