Server: minor Doxygen fixes in TimeStamp