fix double-slash in paths in previous example