Accidental removal of timestamp for doxygen