Minor edit to 7.1