Added the "PropsToJSON" procedures.