Small stylistic changes to cpu_execute()