Ok, after our IRC discussion I realize that this is incorrect, so I will push a commit to ammend it.