Fix midpoint hover (fixes #728)