* Fix a bug in type externalization.