The developments coincided with congressional passage during the day of a follow-up bill that fixed a stenographic error in legislation that cleared late last week.
If the answer is no, then the PAO must be dogged about getting it fixed if needed or at least let the reporter know what was in error for their education.