Fixing HDEL, see #8.