Remove now-redundant comments.