The number should be logged to assist developers in tracking down the bug. The message should be made more descriptive as well.