formatting fixups (bug #4769)