Fixed a small bug related to slash