Board Thread:General Discussion/@comment-32182236-20190721003717/@comment-32182236-20190721222943

That is correct.

...By the way, there's a formatting error in your last line. You must have started that line with a space.