corrects SYNOPSIS and sample codes.