improving formal documentation checkProcess