fixing defect #1: credit card number format