Updated DOM pragmas.