Just FYI: you can edit your original comment, which is likely the better method in the future.