Formatting fix for 64-bit Android