And have tests demonstrating the bugfix.