paranoidClause: minor changes