Tooltips

As discussed in #813.