Many small but vital fixes to the spec pseudocode pointed out by