Correcting typeExists logic