encoder: fix time pointer encoding. Thanks @Babazka.