Just curious - are these with the leading // actually included? If not, any reason we still want these in the code?