Possible tiny bug in tzcode