Workaround for nxhtml bug