For the record, it probably was a typo