Yes that looks like a mistake as well.