Fix a bug in TLB address translation.