Switching fonts around, other minor cosmetic changes.