fixing / improving documentation for verification sequence