Closes #73: hovering tooltip