Fix typos.

I somehow didn't notice before that the examples
for addrspacecast use the wrong syntax for addrspace.