[Lucas00]

I think a simple acknowledgment and editing of the original post would suffice. Seems like a first offense. I’m all for making things right if it’s something (imo) fairly minor and not deceiving to the point of no return.