FIX: formatting should happen in x64 instead of x86