Some small style changes.