It's within 80, yes, but it's underindented relative to the rest of the text.