* final.c (shorten_branches): Remove outdated comment, and turn