Extraneous `//`