Fixing tuple space examples