fix SYNOPSIS since we don't export