Thanks!  Good catch, I check in the relevant file.