Fixed markup in go-to-symbol example