Yes, agreed.  Probably a copy&paste bug.