Minor corrections from Cat.