re #91: Make sure options button links work in the toolbar