Minor formatting issues -- sorry