Fix the mayavi example.