Fix a typo in the block comment on encoding/decoding universal times