Updated specification report. 64-bit fix