I've written code to fix this bug. Let me see if I can add a file...