Small addendum to the timestamp fix