fix formatting bug in man page
preserve history between executions