encoder: fix time pointer encoding.