And here: a test for the fix