fixed a couple syntax errors in amd64.fun