more formatting fixups.