<LocalLeader>d handles parenthesis incorrectly

[SuprDewd]

I had something like the following (hypothetical) code snippet:

(++) : Nat -> Nat -> Nat

Then, while hovering over the left parethesis, I hit <LocalLeader>d and got the following:

(++) : Nat -> Nat -> Nat
       Nat k j = ?Nat_rhs

Obviously I was expecting something like:

(++) : Nat -> Nat -> Nat
(++) k j = ?something_rhs