Mild formatting updates.