Another small commit with aesthetic changes.