improved formatting of History. Fixes #1