Why is this `void` cast here?