Fix formatting for HISTORY