minor

winnow down unnecessary words to make page exactly 8.