Corrected arithmetic on a void pointer