Minor change to the mayavi webgl demo