A follow-up:

I have no idea what caused the weird extrusion shown in my picture. After I deleted it, I fiddled with the square profile (scaled it), then extruded again. Works fine!

Many thanks to Al and to gster123!

--Tim