pretty_mod function.
Use the new pretty_mod function.