Just curious, as I recently encountered that and reported it to admin as a problem.  They've since corrected the error, but apparently it didn't qualify as being a "problem report" and qualifying for a day or two credit.  No big deal.