correct an error in basel.el