tweaked formating of dates in comments and topic headers