formatting fixes (bug #4736)