fixed the execution model spec
fixed some formatting in the guide