small fixes in fetch, decode, execute