That was a typo. It is fixed.