Minor SYNOPSIS fixes.