Renamed slippery to slippy.