Re: [seL4] wrong word spelling in program