watch out for double //