Minor renaming fix in issue20.sh.