Update to reflect that 8.1.12 also does NOT have the bug.