Ugly fix for double slash