fix DisplayMagics.html docstring