Fix Trac #3950: unifying types of different kinds