The commented out version isn't supported, since the HDiv needs to be explicit; I'll remove it.