Yes, of course you're right. I shouldn't have conflated those two issues. I've pushed the necessary changes.