Fix typo in deprecated.texinfo