Correct, this was a short-term workaround for demo3. I'll remove.