be a bit more cautious about type names