minor border/etc. tweaks