Fix webppl script