more formatting fixes! (bug #4780)