Complete parenthesis on refinement
Add docs to elisp code