@tianon So, you're right, and this line should be added commented out, then.