Including a test case for #94, can't reproduce