update to pragma docs