Add a new test based on a bug report.
Fix bug demonstrated by new test.
Update CREDITS.