cosmetic changes
generating basic state from check results
doc typo