Reformatting and small correction