add <pre> TODO: a better rendering