RE: Possible tiny bug in tzcode