IRS waived specificity requirement for refund claim