Thanks for pointing this out - it is fixed in the upcoming release.
Fixed in release 2018.10.20.
Customer support service by UserEcho
Thanks for pointing this out - it is fixed in the upcoming release.
Fixed in release 2018.10.20.