Eliminated duplicate lines in type.sh.