fixed some formal parts