Given the italics, it wouldn’t surprise me if the original was in fact:

sizeof(*(void*)1)