[m-rev.] for post-commit review: fix Mantis bug #493

[Peter Wang]

On Wed, 22 Jan 2020 22:09:45 +1100 (AEDT), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> For post-commit review by Peter. The diff is with -b, due to changes
> in levels of indentation.
> 

Thanks, that looks fine.

Peter