Some fiddling with timestamp converter