Michael Barr asks, in a letter dated 3 Aug, ``Can anyone supply a reference to the fact that if you add to the hypotheses of a calculus of right fractions the assumption that if {s_i: X_i --> Y_i} is a family of arrows, all in Sigma, then so is \prod s_i: \prod X_i --> \prod Y_i, then you can conclude that if the original category has all limits, so does the fraction category and the canonical functor to the fraction category preserves them." For closely-related results, see Kelly, Lack, & Walters, Coinverters and categories of fractions for categories with structure, Applied Categorical Structures, to appear in first issue; and a paper (ibid) by Kelly and Lack to which this appeals. Max Kelly. +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++