formatting fixes (bug #4770)