Indeed. I really do wish this site had a mechanism for editing/deleting accidental redundant comments.