Documentation for ENV & COMMANDPAYLOAD is missing some details

Here are a couple of documentation clarifications for the Teiid Reference Document

ENV Function

The documentation states:
The only key specific to the current session is 'sessionid'. However the preferred mechanism for getting the session id is with the session_id() function. To prevent untrusted access to system properties, the use of this function must be specifically enabled in the <jboss-install>/server/<profile>/deploy/teiid/teiid-jboss-beans.xml file.

It's actually in teiid-deployer-jboss-beans.xml and it's called allowEnvFunction

COMMANDPAYLOAD Function

The documentation states:
Retrieve a string from the command payload or null if no command payload was specified. The command payload is set by a method on the Teiid JDBC API extensions on a per-query basis.

Rather than make the user hunt for it, the method in question is: TeiidStatement.setPayload