Typo
New definition of a computation (much richer than the previous one)