Minor style. Deleted after section.