fixed some bugs in the timestamp extension