Bug 889: fix protected typedef