added comment to fullTypeCheck parameter