Fix for Alg 5.1.  Turn "tilde" into "'".