Minor edit, since this statement is no longer true