Tooltips

Remove unsightly tooltips, as discussed in #813.