typo in definition of dedekind cut