Apply a fix for the bug. Passes the test suite now.