#12725: fix working. Patch by Ben Hayden.
3 files changed