Seems to me this should be relatively easy to fix. I can't imagine it is the first time SEC has seen this.