Extensions to `setnu.el'