Rewrite find-definition correctly