update pragma docs