Corrigendum Reasoning about knowledge and probability?. - Fagin, Ronald (Journal of the ACM)