Made webppl a bit nicer.