fix a couple of holes in the handling of unknown types