Minor change to selicolon section.