Fix one more 64-bit alignment issue