is the second `//` intentional (after "ubuntu")?