changed name of voidtype