Fix a statement which didn't match the example it was describing