Updated DOM pragmas.

Closes #71