@Benedick: whew I was worried