Yes, it's a typo. Sorry.