Margin: Corrections for Go To Defninition.