A comment in the code to that effect would probably be a good idea.