- added procedure for valgrind
- minor edits