Adding a file comment for how we've fixed issue #3.