Remove one `//`