(Minor style nits.)