Good catch.  Are there plans to update all libpalaso source files, like we did for FLEx recently?