[Fix inside] Since 4.13.x compilation fails due to source code glitch

Hi Matthew,

I’ve upgraded to 4.14 and the problem went away.

Thanks,
Jan