Got rid of a TODO to report a minor bug to Microchip.  It is probably not worth it to report it.