Corrected the docs on the extra definitions.