Why is there <code> tags in this comment?