No, that was a typo, I've removed it.