Fix shpinx script