minor last-minute tweaking of mouse pointer