Minor AMD64 compilation fix