Minor: better vertical arrows