This should not be necessary, as we’re using `Option<PseudoElement>` everywhere.