fix SYNOPSIS (thwes)