Made some corrections in 'A runtime for persistent processes'.

Signed-off-by: Jakob Brandsborg Ehmsen <jakobehmsen.github@gmail.com>