It seems like it's better for us to either fix the style checker, or replace the // with something else. using a hint to turn the checker off for this comment block is pretty weird.