Some formal corrections