Fixed minor problems, published