minor changes. removed duplicate extraction operator definition.