Let $\mathscr{X}$ be a normal $R$-scheme and let $D$ be a reduced effective divisor on $\mathscr{X}$ such that $D$ contains the singular locus of $\mathscr{X}$ and such that the pair $(\mathscr{X},D)$ is dlt. Assume that $K_{\mathscr{X}/R}+D$ is Cartier. Then $\mathscr{X}$ is terminal; in particular, it is regular in codimension two.