tiny fix to timestamp