Oops. I thought about that after I submitted the comment, but the app I was using doesn't give me the option to edit the comment.